Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
121	An Ontology of Trust – Formal Semantics and Transitivity Jingwei Huang Mark S. Fox Enterprise Integration Laboratory Add to Reading List Source URL: www.eil.utoronto.ca Language: English - Date: 2011-06-19 08:22:33
122	Formal systems, logic and semantics Daniel Richardson, Department of Computer Science, University of Bath. email : September 27, 2006 Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-04 14:09:37
123	Building a Semantic Parser Overnight Yushi Wang∗ Stanford University Jonathan Berant∗ Stanford University Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2015-05-30 04:17:55 Language Theoretical computer science Computational linguistics Categorial grammar Formal grammar Parsing Syntax Semantics Boolean algebra Formal languages Linguistics Grammar
124	TLP 11 (4–5): 593–609, C Cambridge University Press 2011 ! 593 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-07-06 10:36:03 Logic in computer science Constraint programming Formal languages Logic programming Constraint Handling Rules Operational semantics Constraint logic programming Model theory Bisimulation Theoretical computer science Mathematics Applied mathematics
125	SemEval-2014 Task 6: Supervised Semantic Parsing of Robotic Spatial Commands Kais Dukes School of Computing, University of Leeds Leeds LS2 9JT, United Kingdom Add to Reading List Source URL: www.kaisdukes.com Language: English Formal languages Compiler construction Corpus linguistics Semantics Parsing Treebank Natural language processing SemEval SYNTAX Linguistics Computational linguistics Science
126	Interpolation for Data Structures ∗ Deepak Kapur Add to Reading List Source URL: www.cs.unm.edu Language: English - Date: 2009-06-21 20:13:07 Predicate logic Metalogic Formal languages Semantics First-order logic Interpretation Quantifier elimination Well-formed formula Quantification Logic Mathematical logic Model theory
127	BRICS RSBiernacka & Danvy: A Syntactic Correspondence between Context-Sensitive Calculi and Abstract Machines BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2006-02-02 19:43:31 Applied mathematics Models of computation Computability theory Explicit substitution Reduction strategy Operational semantics Beta normal form Overlap Formal language Mathematics Theoretical computer science Lambda calculus
128	BRICS Basic Research in Computer Science BRICS NS-00-6 Mosses & de Moura (eds.): AS 2000 Proceedings Add to Reading List Source URL: www.brics.dk Language: English - Date: 2000-09-26 04:40:35 Peter Mosses Theoretical computer science David Watt Federal University of Pernambuco BRIC Computer science Formal methods Programming language semantics Action semantics
129	Generating Precise and Concise Procedure Summaries Greta Yorsh ∗ Eran Yahav Satish Chandra Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2008-03-27 09:24:14 Mathematical logic Predicate transformer semantics Logic Transformer Function Interpretation Data-flow analysis The Transformers Mathematics Formal methods Program logic
130	Formal certification of ElGamal encryption A gentle introduction to CertiCrypt ⋆ Gilles Barthe1 , Benjamin Gr´egoire2,3, Sylvain Heraud3 , and Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 RSA Optimal asymmetric encryption padding Denotational semantics ElGamal encryption Cryptographic hash function Random oracle XTR Function Digital signature Cryptography Public-key cryptography Ciphertext indistinguishability

UPDATE